Classical logic - PDFSEARCH.IO - Document Search Engine

Classical logic
Results: 885

#	Item
251	Proceedings of the ESSLLI 2014 Student Session 26th European Summer School in Logic, Language & Information August 11–22, 2014, Tübingen, Germany Add to Reading List Source URL: www.kr.tuwien.ac.at Language: English - Date: 2014-08-26 09:50:28 Monoidal categories Quantum mechanics Dagger categories Non-classical logic Categorical quantum mechanics Quantum logic Logic Modal logic David Hilbert Category theory Mathematics Algebra
252	Compiling Specificity into Approaches to Nonmonotonic Reasoning James P. Delgrande School of Computing Science Simon Fraser University Burnaby, B.C. Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2004-12-10 19:30:01 Logic programming Science Reasoning Knowledge representation Default logic Non-monotonic logic Inference Circumscription Nixon diamond Logic Non-classical logic Mathematical logic
253	A Classification and Survey of Preference Handling Approaches in Nonmonotonic Reasoning Torsten Schaub∗ Institut f¨ur Informatik Universit¨at Potsdam Postfach Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2004-05-13 13:21:07 Non-classical logic Knowledge Reasoning Knowledge representation Consumer theory Default logic Preference Non-monotonic logic Stable model semantics Logic Science Logic programming
254	Fuzzy-probabilistic logic for common sense YKY (King-Yin Yan) Abstract. P(Z) logic offers a new way to reason about vagueness (ie fuzziness), that treats fuzziness as degrees, distinct from probabilities. One then applie Add to Reading List Source URL: agi-conference.org Language: English - Date: 2012-12-09 10:04:16 Fuzzy logic Artificial intelligence Non-classical logic Bayesian statistics Probability interpretations Probabilistic logic Inference Bayesian network Fuzzy set Logic Mathematical logic Science
255	Unified Classical Logic Completeness A Coinductive Pearl Jasmin Christian Blanchette1 , Andrei Popescu1,2 , and Dmitriy Traytel1 2 1 Fakultät für Informatik, Technische Universität München, Germany Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Proof theory Symbol Sequent calculus Model theory First-order logic Mathematical logic Logic Metalogic
256	Symposium Reports AAAI 1992 Fall Symposium Series Reports ■ The American Association for Artificial Add to Reading List Source URL: www.norvig.com Language: English - Date: 2006-05-09 20:14:10 Knowledge Programming paradigms Non-classical logic Reasoning Logic programming Robot Applications of artificial intelligence Modal logic Cyc Artificial intelligence Science Logic
257	Introduction Logic for Serious Database Folks Series by David McGoveran, Alternative Technologies "Against logic there is no armor like ignorance." – Laurence J. Peter For well over twenty years I have been asked to e Add to Reading List Source URL: www.alternativetech.com Language: English Metalogic Mathematical logic Non-classical logic Fuzzy logic David McGoveran Relational model Interpretation First-order logic Database theory Logic Philosophical logic Model theory
258	2012 SAL Basic Rules Exam 100 Answers and rule references from the 2010 – 2013 SAL rule book. Add to Reading List Source URL: umpiring.qld.softball.org.au Language: English - Date: 2014-03-11 21:32:04 Non-classical logic Differentiation rules Mathematics Logic
259	On the Decidability of Role Mappings between Modular Ontologies Jie Bao1 , George Voutsadakis2 , Giora Slutzki2 and Vasant Honavar2 Department of Computer Science, Rensselaer Polytechnic Institute, Troy, NY 12180, USA. b Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2008-04-06 23:01:44 Functions and mappings Algebraic structures Artificial intelligence Description logic Information science Non-classical logic Sheaf Function Ring Mathematics Abstract algebra Algebra
260	Modal Proofs as Distributed Programs? (Extended Abstract) Limin Jia and David Walker Princeton University 35 Olden St., Princeton, NJ 08544, USA {ljia,dpw}@cs.princeton.edu Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Proof theory Non-classical logic Logic in computer science Semantics Deduction Natural deduction Modal logic Negation Sequent calculus Logic Mathematical logic Mathematics

UPDATE